Genus 2 point counting over prime fields Pierrick Gaudry LORIA, CNRS / INRIA / Nancy Universit´e, Nancy, France ´ Eric

Source URL: www.csd.uwo.ca

• Mathematics
• Algebra
• Polynomials
• Computer algebra
• Group theory
• Determinants
• Resultant
• Polynomial
• Factorization
• Irreducible polynomial
• Elliptic curve
• Finite field

Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany

Source URL: people.mpi-inf.mpg.de

• Mathematical logic
• Proof theory
• Mathematics
• Philosophy of mathematics
• CurryHoward correspondence
• Dependently typed programming
• Logic in computer science
• Philosophy of computer science
• Type theory
• Ordinal number
• Constructible universe
• Functor

Accounting for Care: A Research and Survey Design Agenda Nancy Folbre (University of Massachusetts, Amherst) Paper Prepared for the IARIW-OECD Special Conference: “W(h)ither the SNA?” Paris, France, April 16-17, 2015

Source URL: iariw.org

• National accounts
• Economics
• Economy
• Social statistics
• Nancy Folbre
• Measures of national income and output
• Capability approach
• Production
• Gross domestic product
• Wealth
• Feminist economics
• Value added

SERVICE RELATIONS INTERNATIONALES DE L’UNIVERSITE NANCY 2 25 RUE BARON LOUIS, BP 454, 54001 NANCY CEDEX, FRANCE Tél 49, Fax : 65, Email :

Source URL: llp-erasmus.tu.koszalin.pl

Exit Interview with Nancy Ellen Gold In early September 1978, Nancy Gold called Marie Allen of the Presidential Papers Staff in response to the suggestion of the Personnel Office. Nancy was halfway through her last day o

Source URL: jimmycarterlibrary.gov

• Communication
• Postal system
• Mailroom
• Office work
• Rooms
• Nancy
• France
• President of the United States
• Nancy
• Comics
• Business
• Fiction

Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik,

Source URL: people.mpi-inf.mpg.de

• Automated theorem proving
• Mathematics
• Mathematical proofs
• Logic
• Logical consequence
• Statements
• Theorem
• Creativity
• Lemma
• Proof assistant
• Mathematical logic

Free and controlled particles in viscous incompressible flows Marius Tucsnak University of Lorraine, Nancy, France email: Lecture 1:

Source URL: www.prague-sum.com

• Aerodynamics
• Piping
• Continuum mechanics
• Chemistry
• Fluid dynamics
• Mechanics
• Fluid mechanics
• Chemical engineering
• Reynolds number
• Incompressible flow
• NavierStokes equations

BPM Conference, Sept. 7, 2005, Nancy, France sPAC (Web Services Performance Analysis C enter): Performance analysis and estimation tool of web services

Source URL: bpm2005.loria.fr

• Computing
• Web standards
• Web services
• Electronic design automation
• Simulation
• Logic simulation
• Business Process Execution Language
• SOAP

Expansion  volémique  et   vasopresseurs  dans  le  choc   cardiogénique   Pr  Levy  Bruno   Réanima�on  Médicale  Nancy   Groupe  Choc,  Inserm  

Source URL: www.jivd-france.com

Single input controllability of a simplified fluid-structure interaction model Yuning Liu Institut Elie Cartan, Nancy Universit´e/CNRS/INRIA BP 70239, 54506 Vandoeuvre-l`es-Nancy, France

Source URL: www.prague-sum.com

• Symbol
• Continuous function
• Modular forms